🗂️ Term Indexing - abnv · Scour

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·1d·

Discuss: r/golang

🔤Regex Engines

Semantic Search over 9 Million Mathematical Theorems

arxiv.org·1d

📐Mathematical Computing

Search Ranking with Machine Learning: Learning to Rank

pub.towardsai.net·1d

🔍Text Indexing

Let Lambda Come Over

yamlscript.org·3h

λLambda Calculus

Automated Extraction and Formalization of Presuppositions in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the unstated ba...

freederia.com·1d

⚖️Inference Rules

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·1d·

Discuss: Hacker News

🌳Tree Walking

SemPipes -- Optimizable Semantic Data Operators for Tabular Machine Learning Pipelines

arxiv.org·1d

Vector Databases for Developers (With a Simple Python Example)

dev.to·1d·

Discuss: DEV

Synthesizing scientific literature with retrieval-augmented language models

nature.com·22h

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·5h

(50) Set-Roster vs Set-Builder notation

youtube.com·3h

Structured Content Design Workflow

andyfitzgeraldconsulting.com·3h

📋Backus-Naur Form

**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...

freederia.com·10h

🔢Algebraic Datatypes

Railway Oriented Programming

fsharpforfunandprofit.com·17h·

Discuss: Hacker News

🚂Error Monads

Show HN: Sweep, Open-weights 1.5B model for next-edit autocomplete

news.ycombinator.com·5h·

Discuss: Hacker News

📝Editor Buffers

talktofa.com·1d

🔗Concatenative

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·7h

erlang.org·19h·

Discuss: Hacker News

🎭Polymorphic Variants

Intersection of Two Linked Lists

dev.to·15h·

Discuss: DEV

⏭️Skip Lists

News for January 2026

ptreview.sublinear.info·1d

📐Succinct Data Structures

Loading more...